structure A =
  struct 
     val f : int -> int
  end

